<?php

global $num_problems, $contest_id;

require_once('config.inc');
require_once('contest_id.inc');

?>